Nuprl Definition : es-msgs
0,22
postcript
pdf
msgs(
l
;before(
e'
)) == map(
e
.emsg(
e
);rcvs(
l
;before(
e'
)))
latex
clarification:
es-msgs(
the_es
;
l
;
e'
) == map(
e
.es-msg(
the_es
;
e
);es-rcvs(
the_es
;
l
;
e'
))
latex
Definitions
map(
f
;
as
)
,
emsg(
e
)
,
rcvs(
l
;before(
e'
))
FDL editor aliases
es-msgs
origin
e.emsg(e);rcvs(l;before(e')))
e.es-msg(the_es; e);es-rcvs(the_es; l; e')) e.emsg(e);rcvs(l;before(e')))
e.es-msg(the_es; e);es-rcvs(the_es; l; e'))